Inhalt des Dokuments

Forschung

Artikel akzeptiert (TLA 2012)

Samstag, 16. Juni 2012

Artikel "Automated Generation of Refinement Mappings" akzeptiert für TLA 2012 (Co-Autoren Paul-David Brodmann, Hannes Lau, Uwe Nestmann)

---